<?php 
session_start();
if('' == $_SESSION['login']){
	header("location:login.php");
}
else{
	$_SESSION = array();
	session_destroy();
	session_start();
	header("location:login.php");
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
	<head>
		<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
		<title>Deconnexion - Projet XML</title>
	</head>
	<body>
	
	</body>
</html>